dateMenu: Stop using ratio character for time

The recommendation was dropped from the HIG 3 years ago without
communicating to developers that they should update their code.

Do that now.

[0] https://gitlab.gnome.org/Teams/Websites/developer.gnome.org-hig/-/commit/41d6b4a56f04

Related: https://gitlab.gnome.org/GNOME/gnome-shell/-/issues/2618
Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/3732>

diff --git a/js/ui/dateMenu.js b/js/ui/dateMenu.js
index 39687c3215bfe4217b1e797d34baef9d6aa317c2..213d72e95c14c2adc34e4f58152a6649f2aafd9e 100644 (file)
--- a/js/ui/dateMenu.js
+++ b/js/ui/dateMenu.js
@@ -500,7 +500,7 @@ class WorldClocksSection extends St.Button {
         const prefix = offsetCurrentTz >= 0 ? '+' : '-';
         const text = offsetMinutes === 0
             ? `${prefix}${offsetHours}`
-            : `${prefix}${offsetHours}\u2236${offsetMinutes}`;
+            : `${prefix}${offsetHours}:${offsetMinutes}`;
         return text;
     }